-
1 вложимая последовательность
embeddable sequence мат.Русско-английский научно-технический словарь Масловского > вложимая последовательность
-
2 вложимая последовательность
Mathematics: embeddable sequenceУниверсальный русско-английский словарь > вложимая последовательность
См. также в других словарях:
Robertson–Seymour theorem — In graph theory, the Robertson–Seymour theorem (also called the graph minor theorem[1]) states that the undirected graphs, partially ordered by the graph minor relationship, form a well quasi ordering.[2] Equivalently, every family of graphs that … Wikipedia
Glossary of graph theory — Graph theory is a growing area in mathematical research, and has a large specialized vocabulary. Some authors use the same word with different meanings. Some authors use different words to mean the same thing. This page attempts to keep up with… … Wikipedia
Kruskal's tree theorem — In mathematics, Kruskal s tree theorem states that the set of finite trees over a well quasi ordered set of labels is itself well quasi ordered (under homeomorphic embedding). The theorem was proved byharvs|txt=yes|year= 1960 |authorlink=Joseph… … Wikipedia
Langage de programmation Tcl — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
TCL/TK — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
Tcl/Tk — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
Tcl (langage) — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
Tool Command Language — Pour les articles homonymes, voir Tcl. Tcl Apparu en … Wikipédia en Français
Turing degree — Post s problem redirects here. For the other Post s problem , see Post s correspondence problem. In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Monoid — This article is about the mathematical concept. For the alien creatures in the Doctor Who adventure, see The Ark (Doctor Who). Coherence law for monoid unit In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a… … Wikipedia